JAPANESE LF-MOVEMENT AND VARIABLE BINDING
نویسندگان
چکیده
منابع مشابه
Variable Arity for LF Work in Progress
The dependently-typed lambda calculus (LF) supports use of meta-level binding in reasoning about bindings and hypotheticals in programming languages. That is, lambda expressions in LF can be used to model binders and hypothetical judgments depending on fixed-size contexts. However, because LF does not have a concept of variable-arity functions, a hypothetical judgment depending on a variable-si...
متن کاملSome remarks on choice functions and LF-movement
The discussion is indebted very much to the lucid representation given in Heim (1994) which, in several respects, is more elaborate than the account given here. Furthermore, I wish to thank Graham Katz, Manfred Kup er, Cecile Meier and Wolfgang Sternefeld for discussion and help. The article has pro ted enormously by the comments of two anonymous referees and several detailed suggestions by Kla...
متن کاملSome Remarks on Choice Functions and Lf-movement
It is well known that indefinite phrases are more liberal in taking scope than other quantifying phrases. In general, the scope of indefinites is not limited by the finite clause in which they occur, although the scope of universal quantifiers is. Wh-phrases behave very much like indefinites: in languages with wh in situ, their scope need not be restricted by anything like clause boundedness. I...
متن کاملInverse Linking without LF-Movement: A Dependent Type Account
ILCs like (1) have been known to be ambiguous between a surface scope reading and an inverse scope reading. On the surface reading, (1) is understood to mean that there is some one specific representative who represents every country and who missed a meeting. On the inverse reading, (1) is understood to mean that a different representative of each country missed a potentially different meeting ...
متن کاملthe japanese mingei movement and its criterion of beauty, on japanese ceramics
mingei japanese folk craft movement involved in making (folk - handi) crafts by unknown craftman. although these crafts are prepared for ordinary people in large quantities and cheap prices, possess the purest beauty and privileged specifically. the japanese movement had its ideological antecedent’s in the larger arts and craft movement at the end of the 19th and early 20th century, so it was g...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ENGLISH LINGUISTICS
سال: 1986
ISSN: 0918-3701,1884-3107
DOI: 10.9793/elsj1984.3.151